Sadrzadeh, Mehrnoosh: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Algebra and Sequent Calculus for Epistemic Actions

Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 440 KB

english, 2005

2

The Algebra of Multi-Agent Dynamic Belief Revision

Alexandru Baltag, Mehrnoosh Sadrzadeh

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 323 KB

english, 2006

3

Aximo: Automated Axiomatic Reasoning for Information Update

Simon Richards, Mehrnoosh Sadrzadeh

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 327 KB

english, 2009

4

Ockham’s razor and reasoning about information flow

Mehrnoosh Sadrzadeh

Journal:

Year:

2009

Language:

english

File:

PDF, 214 KB

english, 2009

5

Knowledge, Rationality & Action || Ockham's Razor and Reasoning about Information Flow

Mehrnoosh Sadrzadeh

Journal:

Year:

2009

Language:

english

File:

PDF, 1.89 MB

english, 2009

6

A Type-Driven Vector Semantics for Ellipsis with Anaphora Using Lambek Calculus with Limited Contraction

Wijnholds, Gijs, Sadrzadeh, Mehrnoosh

Journal:

Journal of Logic, Language and Information

Year:

2019

Language:

english

File:

PDF, 525 KB

english, 2019

7

Classical Knowledge for Quantum Security

Ellie D'Hondt, Mehrnoosh Sadrzadeh

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 219 KB

english, 2011

8

Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information

Mehrnoosh Sadrzadeh, Roy Dyckhoff

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 346 KB

english, 2009

9

Bell States and Negative Sentences in the Distributed Model of Meaning

Anne Preller, Mehrnoosh Sadrzadeh

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 321 KB

english, 2011

10

Semantic Vector Models and Functional Models for Pregroup Grammars

Anne Preller, Mehrnoosh Sadrzadeh

Journal:

Journal of Logic, Language and Information

Year:

2011

Language:

english

File:

PDF, 723 KB

english, 2011

11

Modular Games for Coalgebraic Fixed Point Logics

Corina Cîrstea, Mehrnoosh Sadrzadeh

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 421 KB

english, 2008

12

Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus

Coecke, Bob, Grefenstette, Edward, Sadrzadeh, Mehrnoosh

Journal:

Annals of Pure and Applied Logic

Year:

2013

Language:

english

File:

PDF, 535 KB

english, 2013

13

Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic

Ma, Minghui, Palmigiano, Alessandra, Sadrzadeh, Mehrnoosh

Journal:

Annals of Pure and Applied Logic

Year:

2014

Language:

english

File:

PDF, 469 KB

english, 2014

14

Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators

Dyckhoff, Roy, Sadrzadeh, Mehrnoosh, Truffaut, Julien

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 293 KB

english, 2012

15

POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION

SADRZADEH, MEHRNOOSH, DYCKHOFF, ROY

Journal:

The Review of Symbolic Logic

Year:

2010

Language:

english

File:

PDF, 150 KB

english, 2010

16

Concrete Models and Empirical Evaluations for the Categorical Compositional Distributional Model of Meaning

Grefenstette, Edward, Sadrzadeh, Mehrnoosh

Journal:

Computational Linguistics

Year:

2015

Language:

english

File:

PDF, 566 KB

english, 2015

17

Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators

Dyckhoff, Roy, Sadrzadeh, Mehrnoosh, Truffaut, Julien

Journal:

ACM Transactions on Computational Logic

Year:

2013

Language:

english

File:

PDF, 284 KB

english, 2013

18

[ACM Press the 2015 International Conference - Northampton, Massachusetts, USA (2015.09.27-2015.09.30)] Proceedings of the 2015 International Conference on Theory of Information Retrieval - ICTIR '15 - IR meets NLP

Milajevs, Dmitrijs, Sadrzadeh, Mehrnoosh, Roelleke, Thomas

Year:

2015

Language:

english

File:

PDF, 1.06 MB

english, 2015

19

Quantum Physics and Linguistics (A Compositional, Diagrammatic Discourse) || An Alternative Gospel of Structure: Order, Composition, Processes

Heunen, Chris, Sadrzadeh, Mehrnoosh, Grefenstette, Edward

Year:

2013

Language:

english

File:

PDF, 445 KB

english, 2013

20

[Lecture Notes in Computer Science] Logic, Language, and Computation Volume 10148 ||

Hansen, Helle Hvid, Murray, Sarah E., Sadrzadeh, Mehrnoosh, Zeevat, Henk

Year:

2017

Language:

english

File:

PDF, 9.08 MB

english, 2017

21

[Lecture Notes in Computer Science] Logic, Language, and Computation Volume 10148 || Whence Long-Distance Indefinite Readings? Solving Chierchia’s Puzzle with Dependent Types

Hansen, Helle Hvid, Murray, Sarah E., Sadrzadeh, Mehrnoosh, Zeevat, Henk

Year:

2017

Language:

english

File:

PDF, 249 KB

english, 2017

22

Quantum Physics and Linguistics (A Compositional, Diagrammatic Discourse) || Distributional Semantic Models

Heunen, Chris, Sadrzadeh, Mehrnoosh, Grefenstette, Edward

Year:

2013

Language:

english

File:

PDF, 409 KB

english, 2013

23

Sentence entailment in compositional distributional semantics

Sadrzadeh, Mehrnoosh, Kartsaklis, Dimitri, Balkır, Esma

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2018

Language:

english

File:

PDF, 709 KB

english, 2018

24

Quantization, Frobenius and Bi Algebras from the Categorical Framework of Quantum Mechanics to Natural Language Semantics

Sadrzadeh, Mehrnoosh

Journal:

Frontiers in Physics

Year:

2017

Language:

english

File:

PDF, 814 KB

english, 2017

25

A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras

Hedges, Jules, Sadrzadeh, Mehrnoosh

Journal:

Mathematical Structures in Computer Science

Year:

2019

Language:

english

File:

PDF, 349 KB

english, 2019

26

A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras

Hedges, Jules, Sadrzadeh, Mehrnoosh

Journal:

Mathematical Structures in Computer Science

Year:

2019

File:

PDF, 349 KB

2019